Reviewed 2 of 4 files at r1, all commit messages.
Reviewable status: all files reviewed, 7 unresolved discussions (waiting on @varex83)

crates/blockifier/src/execution/native/syscall_handler.rs line 29 at r4 (raw file):

    pub state: &'state mut dyn State,
    pub execution_resources: &'state mut ExecutionResources,
    pub execution_context: &'state mut EntryPointExecutionContext,

For consistency

Suggestion:

    pub resources: &'state mut ExecutionResources,
    pub context: &'state mut EntryPointExecutionContext,

crates/blockifier/src/execution/native/syscall_handler.rs line 34 at r4 (raw file):

    pub caller_address: ContractAddress,
    pub contract_address: ContractAddress,
    pub entry_point_selector: Felt,

WDYT?

Suggestion:

    pub call: CallEntryPoint,

crates/blockifier/src/execution/native/syscall_handler.rs line 35 at r4 (raw file):

    pub contract_address: ContractAddress,
    pub entry_point_selector: Felt,

Writing here for the record additional field of the cairo1 vm hint proccessor:
read_only_segments
secp256k\r1_hint_processor
sha256_segment_end_ptr
hints
execution_info_ptr

crates/blockifier/src/execution/native/syscall_handler.rs line 43 at r4 (raw file):

    // Additional execution result info.
    pub storage_read_values: Vec<Felt>,
    pub accessed_storage_keys: HashSet<StorageKey, RandomState>,

For consistency

Suggestion:

    // Additional information gathered during execution.
    pub read_values: Vec<Felt>,
    pub accessed_keys: HashSet<StorageKey, RandomState>,

crates/blockifier/src/execution/native/syscall_handler.rs line 73 at r4 (raw file):

        &mut self,
        entry_point: CallEntryPoint,
        remaining_gas: &mut u128,

Possible? For consistency
Than you don't need the method update_remaining_gas

Suggestion:

        remaining_gas: &mut u64,

crates/blockifier/src/execution/native/syscall_handler.rs line 89 at r4 (raw file):

        self.inner_calls.push(call_info.clone());

        Ok(call_info)

Can you please explain what is the call info used for?

Code quote:

        Ok(call_info)

crates/blockifier/src/execution/native/syscall_handler.rs line 117 at r4 (raw file):

        if *remaining_gas < required_gas {
            // Out of gas failure.
            return Err(vec![Felt::from_hex(OUT_OF_GAS_ERROR).unwrap()]);

Suggestion:

return Err(vec![Felt::from_hex(OUT_OF_GAS_ERROR).expect("An informative error message")]

Reviewable status: all files reviewed, 5 unresolved discussions (waiting on @noaov1)

crates/blockifier/src/execution/native/syscall_handler.rs line 34 at r4 (raw file):

I would like to keep things like they are because the current approach will cover all the needed fields, so we don't store extra unnecessary things, and also it will keep getting those fields much simpler (without .call.<...>)

crates/blockifier/src/execution/native/syscall_handler.rs line 43 at r4 (raw file):

Done.

crates/blockifier/src/execution/native/syscall_handler.rs line 73 at r4 (raw file):

We can't do it in that way because, in any case, we need to convert the u128 pointer and to make it work correctly we utilize the update_remaining_gas function, converting with the u64::try_from(...) will create a new integer losing the old pointer

crates/blockifier/src/execution/native/syscall_handler.rs line 117 at r4 (raw file):

        if *remaining_gas < required_gas {
            // Out of gas failure.
            return Err(vec![Felt::from_hex(OUT_OF_GAS_ERROR).unwrap()]);

Done.

Reviewed 2 of 2 files at r5.
Reviewable status: all files reviewed (commit messages unreviewed), 5 unresolved discussions (waiting on @noaov1 and @varex83)

Reviewable status: all files reviewed (commit messages unreviewed), 3 unresolved discussions (waiting on @varex83)

crates/blockifier/src/execution/native/syscall_handler.rs line 73 at r4 (raw file):

we need to convert the u128 pointer

Where is it done?

Reviewable status: all files reviewed (commit messages unreviewed), 4 unresolved discussions (waiting on @varex83)

crates/blockifier/src/execution/native/syscall_handler.rs line 121 at r5 (raw file):

            return Err(vec![
                Felt::from_hex(OUT_OF_GAS_ERROR)
                    .expect("Failed to parse OUT_OF_GAS_ERROR hex string"),

Note to self: in the vm syscall handler we return an error in case the conversion failed.

Code quote:

                Felt::from_hex(OUT_OF_GAS_ERROR)
                    .expect("Failed to parse OUT_OF_GAS_ERROR hex string"),

crates/blockifier/src/execution/native/utils.rs line 17 at r4 (raw file):

Why are those methods needed? We convert each specific error message separately, e.g..

crates/blockifier/src/execution/native/utils.rs line 17 at r5 (raw file):

pub fn encode_str_as_felts(msg: &str) -> Vec<Felt> {
    const CHUNK_SIZE: usize = 32;

Can you please explain? Why 32?

Code quote:

const CHUNK_SIZE: usize = 32;